翻訳と辞書
Words near each other
・ Sophitia
・ Sophiya Haque
・ Sopho Gelovani
・ Sopho Khalvashi
・ Sophocles
・ Sophocles (software)
・ Sophocles Alexiou
・ Sophocles Papas
・ Sophocles Sophocleous
・ Sophocles Sophocleous (academic)
・ Sophomore
・ Sophomore (Ciara song)
・ Sophomore League
・ Sophomore slump
・ Sophomore surge
Sophomore's dream
・ Sophomores (TV series)
・ Sophomoric humor
・ Sophon Supapong
・ Sophona
・ Sophonias
・ Sophonias (commentator)
・ Sophonisba
・ Sophonisba Breckinridge
・ Sophophora
・ Sophora
・ Sophora cassioides
・ Sophora chathamica
・ Sophora chrysophylla
・ Sophora fernandeziana


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Sophomore's dream : ウィキペディア英語版
Sophomore's dream
In mathematics, sophomore's dream is a name occasionally used for the identities (especially the first)
:\begin
\int_0^1 x^\,\mathrmx &= \sum_^\infty n^&&(\scriptstyle \\
\int_0^1 x^x \,\mathrmx &= \sum_^\infty (-1)^n^ = - \sum_^\infty (-n)^ &&(\scriptstyle)
\end
discovered in 1697 by Johann Bernoulli.
The name "sophomore's dream", which appears in , is in contrast to the name "freshman's dream" which is given to the incorrect〔Incorrect unless one is working over a field or unital commutative ring of prime characteristic ''n'' or a factor of ''n''. The correct result is given by the binomial theorem.〕 equation . The sophomore's dream has a similar too-good-to-be-true feel, but is in fact true.
== Proof ==

We prove the second identity; the first is completely analogous.
The key ingredients of the proof are:
* Write ''x''''x'' = exp(''x'' log ''x'').
* Expand exp(''x'' log ''x'') using the power series for exp.
* Integrate termwise.
* Integrate by substitution.
Expand ''x''''x'' as
: x^x = \exp(x \log x) = \sum_^\infty \frac.
Therefore, we have : \int_0^1 x^x\,\mathrmx = \int_0^1 \sum_^\infty \frac \,\mathrmx.
By uniform convergence of the power series, we may interchange summation and integration
: \int_0^1 x^x\,\mathrmx = \sum_^\infty \int_0^1 \frac \,\mathrmx.
To evaluate the above integrals we perform the change of variable in the integral \scriptstyle x=\exp\, \left(-\frac\right), with \scriptstyle 0 < u < \infty , giving us
:\int_0^1 x^n(\log\, x)^n\,\mathrmx = (-1)^n (n+1)^ \int_0^\infty u^n e^\,\mathrmu.
By the well-known Euler's integral identity for the Gamma function
:\int_0^\infty u^n e^\,\mathrmu=n!
so that:
:\int_0^1 \frac\,\mathrmx
= (-1)^n (n+1)^.
Summing these (and changing indexing so it starts at ''n'' = 1
instead of ''n'' = 0) yields the formula.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Sophomore's dream」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.